College of Professional Studies Upsilon Pi Epsilon November 16, 2008 Dr. Cathrine Linnes, Ms. Inita Mauga, Mr. David Alderton, Mr. Robert Thomas Calderwood, Mr. David M. Nyitrai, Mr. Mark Anthony Racimo, Mr. Jason Kalei

Source URL: upe.acm.org

veriT: an open, trustable and efficient SMT-solver Thomas Bouton2 , Diego Caminha B. de Oliveira2 , David D´eharbe1 , and Pascal Fontaine2 1 Universidade Federal do Rio Grande do Norte, Natal, RN, Brazil

Source URL: www.montefiore.ulg.ac.be

MINUTES September 16, 2015 Thomas J. Peachey Center, Front Royal, VA MEMBERS PRESENT: Mr. Tom Brubaker, Ms. Rebecca Cooper, Ms. Joan Richardson, Ms. Suetta Freeman, Ms. Gina Stetter, Mr. Ryan Clouse, Rev. David Howard, M

Source URL: www.nwcsb.com

GridTPT: a distributed platform for Theorem Prover Testing∗ Thomas Bouton Diego Caminha B. de Oliveira David D´eharbe Pascal Fontaine

Source URL: www.montefiore.ulg.ac.be

Heat-fraction-limited CW Yb:YAG cryogenic solid-state laser with 100% photon slope efficiency David C. Brown*, Thomas M. Bruno, and Joseph M. Singley Snake Creek Lasers, LLC, Hallstead, PA, 18822, USA *dbrown@snakecreekl

Source URL: www.snakecreeklasers.com

A General Comparison of Relaxed Molecular Clock Models Thomas Lepage,* David Bryant,! Herve´ Philippe," and Nicolas Lartillot§ *Department of Mathematics and Statistics, McGill University, Montre´al, Que´bec, Canada;

Source URL: www.maths.otago.ac.nz

Wormhole: Reliable Pub-Sub to Support Geo-replicated Internet Services Yogeshwer Sharma, Philippe Ajoux, Petchean Ang, David Callies, Abhishek Choudhary, Laurent Demailly, Thomas Fersch, Liat Atsmon Guz, Andrzej Kotulski

Source URL: www.usenix.org

• Fault-tolerant computer systems
• Network performance
• Low latency
• Shard
• Replication
• Throughput
• Latency

A DoS-limiting Network Architecture Xiaowei Yang David Wetherall Thomas Anderson

Source URL: djw.cs.washington.edu

Geo-referencing for UAV Navigation using Environmental Classification Fredrik Lindsten, Jonas Callmer, Henrik Ohlsson, David T¨ornqvist, Thomas B. Sch¨on and Fredrik Gustafsson Division of Automatic Control, Department

Source URL: users.isy.liu.se

Semantic Foundations and Inference of Non-null Annotations Laurent Hubert1 , Thomas Jensen1 , and David Pichardie2 1 2

Source URL: www.trebuh.net